Variants of string assembling systems
نویسندگان
چکیده
Abstract String assembling systems are biologically inspired mechanisms that generate strings from copies out of finite sets assembly units. The underlying mechanism is based on piecewise a double-stranded sequence symbols, where the upper and lower strand have to match. generation additionally controlled by requirement first symbol unit has be same as last generated so far, well distinction units may appear at beginning, during, or end process length restriction We investigate power these model-inherent control considering variants one more relaxed. generative capacities relative our main interest. In particular, we prove gained in different yield strictly powerful incomparable capacities. Additionally, generalize multi-stranded systems. obtain strong connection one-way multi-head automata show an infinite, dense, strict hierarchy. Finally, examine closure properties string
منابع مشابه
String Assembling Systems
We introduce and investigate string assembling systems which form a computational model that generates strings from copies out of a finite set of assembly units. The underlying mechanism is based on piecewise assembly of a double-stranded sequence of symbols, where the upper and lower strand have to match. The generation is additionally controlled by the requirement that the first symbol of a u...
متن کاملSelf-Assembling Systems are Distributed Systems
In 2004, Klavins et al. introduced the use of graph grammars to describe—and to program— systems of self-assembly. We show that these graph grammars can be embedded in a graph rewriting characterization of distributed systems that was proposed by Degano and Montanari over twenty years ago. We apply this embedding to generalize Soloveichik and Winfree’s local determinism criterion (for achieving...
متن کاملFormal Verification of Self-Assembling Systems
This paper introduces the theory and practice of formal verification of self-assembling systems. We interpret a well-studied abstraction of nanomolecular self assembly, the Abstract Tile Assembly Model (aTAM), into Computation Tree Logic (CTL), a temporal logic often used in model checking. We then consider the class of “rectilinear” tile assembly systems. This class includes most aTAM systems ...
متن کاملEffects of confinement on self - assembling systems
Systems in which particles can self-assemble into mono-or bilayers can form variety of stable and metastable structures on a nanometer length scale. For this reason confinement has a particularly strong effect on such systems. We discuss in some detail effects of confinement on lamellar and cubic phases with double-diamond structure. Structural deformations in slit geometry are described for la...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Natural Computing
سال: 2022
ISSN: ['1572-9796', '1567-7818']
DOI: https://doi.org/10.1007/s11047-022-09918-x